A_0(A_1(A_2(a, c), A_2(a, c)), A_1(A_2(a, c), A_2(a, c)))